Search Results for "Fully abstract models for effectful λ-calculi via category-theoretic logical relations (Teaser)"